A Survey of Safety Analysis Techniques for Safety Critical Systems

SysML Aided Safety Analysis for Safety-Critical Systems

Integrated Analysis of Complex Safety Critical Systems

Safety Critical Systems are those systems that can potentially lead to loss of life, injury, and environmental damage. Therefore such systems have to be designed and built to meet a variety of functional and non-functional requirements, including safety, reliability, availability, and maintainability. It is essential to assess, as an independent activity, the extent to which these requirements ...

Knowledge Management in Safety-Critical Systems Analysis

Knowledge management in the design of safetycritical systems addresses the question of how designers can share, capitalize, and reuse knowledge in an effective and reliable way. Knowledge management is situated in groups, organizations, and communities, playing different roles in the design process. Design of safety-critical systems has specific properties, such as dealing with complexity, trac...

Improving Safety-Critical Systems by Visual Analysis

The importance analysis provides a means of analyzing the contribution of potential low-level system failures to identify and assess vulnerabilities of safety-critical systems. Common approaches attempt to enhance the system safety by addressing vulnerabilities using an iterative analysis process, while considering relevant constraints, e.g., cost, for optimizing the improvements. Typically, da...

Techniques for Safety Critical Software Development

Although the dreams of artificial intelligence have not been realized (despite the recent success of IBM in chess), it is apparent that software control of machines is quickly permeating our lives in many ways – some seen, some hidden. NASA is clearly dependent on computers to fly the space shuttle or to run the planned space station. Many commercial and military aircraft alike require computer...